今日观察
今天 HN 首页几乎被「AI 新闻洪水」的元讨论淹没，真正的新品密度极低，教育赛道直接产品为零。但周边浮现三条对教育产品有实际约束力的信号：可信度基础设施（幻觉闸门、不确定性量化）开始工程化，这是答疑类产品的生死线；AI 生成内容检测走向可用，直接对应作业与学术诚信场景；K12 合规红线收紧（Claude 18+ 年龄验证），做未成年学段必须提前设计年龄分流。
- A Severe Misalignment of AI in Mathematics（Terry Tao） — 陶哲轩批评 AI 在数学界的错位使用：重形式产出、轻理解与验证。警示很直接——AI 生成的解题过程看起来对，不等于学会了；机会在「过程可信 + 可验证」的学习工具，而非答案生成器。
- Claude 年龄验证（18+ 限制） — Anthropic 上线年龄保证机制，未满 18 岁不可使用；K12 产品的硬约束信号：主线能力供应商可能对你最核心的用户群关门，年龄分流（家长代持 / 校方机构账号）要提前设计。
- The Waymo Effect — 分析 AI 如何让科研协作变少：研究者各自与模型对话，替代了同行讨论。对高教场景的含义：阅读助手若只做「私聊式问答」会加剧孤立，把协作、互评、共同批注做进产品是差异化切入点。
- Spanda — Rust 写的亚微秒级 LLM 不确定性量化与幻觉闸门（开源）；教育答疑最怕教错，「低置信度就拒答/转人工」的闸门是学习助手能否被教师信任的技术前提。
- hnslop — 浏览器扩展 + API，给文章打 LLM 生成概率分并可隐藏；把「AI 代写检测」做成轻量可嵌入的分数服务，正是教师端最想要的能力形态：判分 + 高亮可疑段落。